Optimal. Leaf size=101 \[ \frac {2 a b x^{3/2}}{3 c}+\frac {2 b^2 x^{3/2} \tanh ^{-1}\left (c x^{3/2}\right )}{3 c}-\frac {\left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2}{3 c^2}+\frac {1}{3} x^3 \left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2+\frac {b^2 \log \left (1-c^2 x^3\right )}{3 c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.11, antiderivative size = 101, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {6039, 6037,
6127, 6021, 266, 6095} \begin {gather*} -\frac {\left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2}{3 c^2}+\frac {2 a b x^{3/2}}{3 c}+\frac {1}{3} x^3 \left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2+\frac {b^2 \log \left (1-c^2 x^3\right )}{3 c^2}+\frac {2 b^2 x^{3/2} \tanh ^{-1}\left (c x^{3/2}\right )}{3 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 266
Rule 6021
Rule 6037
Rule 6039
Rule 6095
Rule 6127
Rubi steps
\begin {align*} \int x^2 \left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2 \, dx &=\int x^2 \left (a+b \tanh ^{-1}\left (c x^{3/2}\right )\right )^2 \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 122, normalized size = 1.21 \begin {gather*} \frac {2 a b c x^{3/2}+a^2 c^2 x^3+2 b c x^{3/2} \left (b+a c x^{3/2}\right ) \tanh ^{-1}\left (c x^{3/2}\right )+b^2 \left (-1+c^2 x^3\right ) \tanh ^{-1}\left (c x^{3/2}\right )^2+b (a+b) \log \left (1-c x^{3/2}\right )-a b \log \left (1+c x^{3/2}\right )+b^2 \log \left (1+c x^{3/2}\right )}{3 c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(257\) vs.
\(2(81)=162\).
time = 0.27, size = 258, normalized size = 2.55
method | result | size |
derivativedivides | \(\frac {\frac {c^{2} x^{3} a^{2}}{3}+\frac {b^{2} c^{2} x^{3} \arctanh \left (c \,x^{\frac {3}{2}}\right )^{2}}{3}+\frac {2 b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) c \,x^{\frac {3}{2}}}{3}+\frac {b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}-\frac {b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}-\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right ) \ln \left (\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right )}{6}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right )^{2}}{12}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}+1\right )^{2}}{12}-\frac {b^{2} \ln \left (-\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right ) \ln \left (c \,x^{\frac {3}{2}}+1\right )}{6}+\frac {b^{2} \ln \left (-\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right ) \ln \left (\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right )}{6}+\frac {2 a b \,c^{2} x^{3} \arctanh \left (c \,x^{\frac {3}{2}}\right )}{3}+\frac {2 c \,x^{\frac {3}{2}} a b}{3}+\frac {a b \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}-\frac {a b \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}}{c^{2}}\) | \(258\) |
default | \(\frac {\frac {c^{2} x^{3} a^{2}}{3}+\frac {b^{2} c^{2} x^{3} \arctanh \left (c \,x^{\frac {3}{2}}\right )^{2}}{3}+\frac {2 b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) c \,x^{\frac {3}{2}}}{3}+\frac {b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}-\frac {b^{2} \arctanh \left (c \,x^{\frac {3}{2}}\right ) \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}-\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right ) \ln \left (\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right )}{6}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right )^{2}}{12}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}+\frac {b^{2} \ln \left (c \,x^{\frac {3}{2}}+1\right )^{2}}{12}-\frac {b^{2} \ln \left (-\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right ) \ln \left (c \,x^{\frac {3}{2}}+1\right )}{6}+\frac {b^{2} \ln \left (-\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right ) \ln \left (\frac {c \,x^{\frac {3}{2}}}{2}+\frac {1}{2}\right )}{6}+\frac {2 a b \,c^{2} x^{3} \arctanh \left (c \,x^{\frac {3}{2}}\right )}{3}+\frac {2 c \,x^{\frac {3}{2}} a b}{3}+\frac {a b \ln \left (c \,x^{\frac {3}{2}}-1\right )}{3}-\frac {a b \ln \left (c \,x^{\frac {3}{2}}+1\right )}{3}}{c^{2}}\) | \(258\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 186 vs.
\(2 (81) = 162\).
time = 0.26, size = 186, normalized size = 1.84 \begin {gather*} \frac {1}{3} \, b^{2} x^{3} \operatorname {artanh}\left (c x^{\frac {3}{2}}\right )^{2} + \frac {1}{3} \, a^{2} x^{3} + \frac {1}{3} \, {\left (2 \, x^{3} \operatorname {artanh}\left (c x^{\frac {3}{2}}\right ) + c {\left (\frac {2 \, x^{\frac {3}{2}}}{c^{2}} - \frac {\log \left (c x^{\frac {3}{2}} + 1\right )}{c^{3}} + \frac {\log \left (c x^{\frac {3}{2}} - 1\right )}{c^{3}}\right )}\right )} a b + \frac {1}{12} \, {\left (4 \, c {\left (\frac {2 \, x^{\frac {3}{2}}}{c^{2}} - \frac {\log \left (c x^{\frac {3}{2}} + 1\right )}{c^{3}} + \frac {\log \left (c x^{\frac {3}{2}} - 1\right )}{c^{3}}\right )} \operatorname {artanh}\left (c x^{\frac {3}{2}}\right ) - \frac {2 \, {\left (\log \left (c x^{\frac {3}{2}} - 1\right ) - 2\right )} \log \left (c x^{\frac {3}{2}} + 1\right ) - \log \left (c x^{\frac {3}{2}} + 1\right )^{2} - \log \left (c x^{\frac {3}{2}} - 1\right )^{2} - 4 \, \log \left (c x^{\frac {3}{2}} - 1\right )}{c^{2}}\right )} b^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 179 vs.
\(2 (81) = 162\).
time = 0.38, size = 179, normalized size = 1.77 \begin {gather*} \frac {4 \, a^{2} c^{2} x^{3} + 8 \, a b c x^{\frac {3}{2}} + {\left (b^{2} c^{2} x^{3} - b^{2}\right )} \log \left (-\frac {c^{2} x^{3} + 2 \, c x^{\frac {3}{2}} + 1}{c^{2} x^{3} - 1}\right )^{2} + 4 \, {\left (a b c^{2} - a b + b^{2}\right )} \log \left (c x^{\frac {3}{2}} + 1\right ) - 4 \, {\left (a b c^{2} - a b - b^{2}\right )} \log \left (c x^{\frac {3}{2}} - 1\right ) + 4 \, {\left (a b c^{2} x^{3} + b^{2} c x^{\frac {3}{2}} - a b c^{2}\right )} \log \left (-\frac {c^{2} x^{3} + 2 \, c x^{\frac {3}{2}} + 1}{c^{2} x^{3} - 1}\right )}{12 \, c^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.31, size = 105, normalized size = 1.04 \begin {gather*} \frac {c\,\left (\frac {2\,b^2\,x^{3/2}\,\mathrm {atanh}\left (c\,x^{3/2}\right )}{3}+\frac {2\,a\,b\,x^{3/2}}{3}\right )-\frac {b^2\,{\mathrm {atanh}\left (c\,x^{3/2}\right )}^2}{3}+\frac {b^2\,\ln \left (c^2\,x^3-1\right )}{3}-\frac {2\,a\,b\,\mathrm {atanh}\left (c\,x^{3/2}\right )}{3}}{c^2}+\frac {a^2\,x^3}{3}+\frac {b^2\,x^3\,{\mathrm {atanh}\left (c\,x^{3/2}\right )}^2}{3}+\frac {2\,a\,b\,x^3\,\mathrm {atanh}\left (c\,x^{3/2}\right )}{3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________